Feeds to Scour
SubscribedAll
Scoured 83031 posts in 864.7 ms
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
πPi Calculus
Modern IoT: Controlling Devices via LINE Bot, MQTT, and Serverless (2026 Edition)
dev.to·1d·
Discuss: DEV
🔐Capability Protocols
marzhall/BBL: A couple of tools for OpenEdge ABL
github.com·5h
📋Tablegen
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·11h
⚙️TOML Parsers
Parity, Sensitivity, and Transformers
arxiv.org·1d
⚡Partial Evaluation
Naughty is Nice!
yamlscript.org·4h
🧼Lisp Hygiene
**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and Recursive HyperScore ...
freederia.com·23h
💓Live Variable Analysis
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
🌊Reactive Languages
Codified Finite-state Machines for Role-playing
arxiv.org·1d
🎯Finite Automata
HTTP 1.1 server from scratch
reddit.com·8h·
Discuss: r/golang
🌍Minimal HTTP
LISP: Symbolic Architecture and the Evolution of Agentic Systems
notebooklm.google.com·1d
🖥️Lisp Machines
A future for bitflags
kodraus.github.io·10h·
Discuss: r/rust
🔢Binary Formats
Teleportal: A real-time collaborative editing framework
pckt.blog·18h·
Discuss: Hacker News
📦Message Serialization
MCP Transport: Architecture, Boundaries, and Failure Modes
pgedge.com·1d·
Discuss: Hacker News
🌍HTTP Servers
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·1d·
Discuss: r/golang
🔤Regex Engines
Building "zero-gap" secrets for a UGC platform
news.ycombinator.com·8h·
Discuss: Hacker News
🔗Hash Functions
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·1d·
Discuss: Hacker News
🌳Tree Walking
llOOPy lOOPs (Dave Jarvis)
dave.autonoma.ca·1d
🤐Zipper Structures
Building a battle tested C compiler in a new language using Codex
moonbitlang.com·1d·
Discuss: Hacker News
🔄Bootstrapping
Raspberry Pico: Programming with PIO State Machines
admantium.com·1d
🤖Embedded Go

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help